proddeq($a$; $b$)($p$,$q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$band((($a$.1)(($p$.1),$q$.1)); (($b$.1)(($p$.2),$q$.2)))